The ESTEREL Synchronous Programming Language and its Mathematical Semantics
نویسندگان
چکیده
منابع مشابه
The Esterel Synchronous Programming Language: Design, Semantics, Implementation
We present the ESTEREL programming language which is especially designed to program reactive systems, that is systems which maintain a permanent interaction with their environment: real-time process controllers, communication protocols, man-machine interface drivers, etc. ESTEREL is a deterministic concurrent programming language. It differs from classical asynchronous languages by its synchron...
متن کامل1 Synchronous Languages for Hardware and Software Reactive Systems
Synchronous languages are dedicated to hardware, software, or mixed reactive systems that maintain a continuous interaction with their environment. They come in two classes: data-oriented languages such as Lustre and Signal, .which are targeted to data-intensive applications such as continuous control or signal processing, and control-oriented languages or visual formalisms such as Esterel, Sta...
متن کاملProving the Equivalence of Microstep and Macrostep Semantics
Recently, an embedding of the synchronous programming language Quartz (an Esterel variant) in the theorem prover HOL has been presented. This embedding is based on control flow predicates that refer to macrosteps of the programs. The original semantics of synchronous languages like Esterel is however normally given at the more detailed microstep level. This paper describes how a variant of the ...
متن کاملThe SL Synchronous Language
We present a new synchronous programming language named SL based on Esterel, in which hypothesis about signal presences or absences are not allowed. Thus, one can decide that a signal was absent during one instant only at the end of this instant, and so reaction to this absence is delayed. Esterel \causality problems" are avoided at the price of replacing strong preemptions by weak ones. An ope...
متن کاملA Hardware Implementation of Pure EsterelG
Esterel is a synchronous concurrent programming language dedicated to reactive systems (controllers, protocols, man-machine interfaces, etc.). Esterel has an eecient standard software implementation based on well-deened mathematical semantics. We present a new hardware implementation of the pure synchronization subset of the language. Each program generates a speciic circuit that responds to an...
متن کامل